/*
 * MinisatBuilder.cpp
 *
 *  Created on: 21 nov. 2011
 *      Author: bnoleau, cybourdi, rlecrois
 */

#include "MinisatBuilder.h"

MinisatBuilder::MinisatBuilder() {

}

MinisatBuilder::~MinisatBuilder() {
}

void MinisatBuilder::beginGraph(int nbOfNodes, int nbOfEdges){
	result << "p cnf " << nbOfNodes << " " << nbOfEdges << endl;
}

void MinisatBuilder::endGraph(){
}

void MinisatBuilder::addEdge(int src, int tgt){
	result << src << " " << tgt << " 0" << endl;
}

string MinisatBuilder::getResult(){
	return result.str();
}


